Source characterization refinements for routine modeling applications
نویسندگان
چکیده
منابع مشابه
Source Traffic Modeling of Wireless Applications
Data applications are expected to play an increasingly important role in the next generation mobile communication services. To plan these networks detailed models of data users with diverse applications are required. The purpose of this study is to provide practically usable traffic models for data users in GPRS networks. We start with a discussion of well-known models in the literature, where ...
متن کاملSource Traffic Characterization for Thin Client Based Office Applications
A thin client is a small network computer which is used as a remote screen visualizing the output of software applications running on a central server. To provide a seamless service to thin client users the network connection between the client and the server must be dimensioned properly. In this paper we therefore characterize the traffic generated by different types of thin client users when ...
متن کاملRefinements of Gál’s Theorem and Applications
We give a simple proof of a well-known theorem of Gál and of the recent related results of Aistleitner, Berkes and Seip [1] regarding the size of GCD sums. In fact, our method obtains the asymptotically sharp constant in Gál’s theorem, which is new. Our approach also gives a transparent explanation of the relationship between the maximal size of the Riemann zeta function on vertical lines and b...
متن کاملRefinements of the Binomial Model and Applications
A term structure of interest rates is introduced to model a more realistic econ omy in which deposit rates can vary with the duration of loans We will also study time inhomogeneity of the volatility process by introducing a term structure of volatilities Time dependent volatilities are useful to incorporate into the pricing model the market s expectations about risk across time Information abou...
متن کاملSpecification refinements: Calculi, tools, and applications
We propose and study a framework for systematic development of software systems (or models) from their formalspecifications. We introduce a language for formal development by refinement and decomposition, as an extensionto CASL. We complement it with a notion of refinement tree and present proof calculi for checking correctness ofrefinements as well as their consistency. Both calcul...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Atmospheric Environment
سال: 2016
ISSN: 1352-2310
DOI: 10.1016/j.atmosenv.2016.01.003